Innocent strategies as presheaves and interactive equivalences for CCS

Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views. We argue that presheaves on V adequately represent innocent strategies, in the sense of game semantics. We then equip innocent strategies with a simple notion of interaction. This results in an interpretation of CCS. Based on this, we propose a notion of interactive equivalence for innocent strategies, which is close in spirit to Beffara's interpretation of testing equivalences in concurrency theory. In this framework we prove that the analogues of fair and must testing equivalences coincide, while they differ in the standard setting.Comment: In Proceedings ICE 2011, arXiv:1108.014

Les droits disciplinaires des fonctions publiques : « unification », « harmonisation » ou « distanciation ». A propos de la loi du 26 avril 2016 relative à la déontologie et aux droits et obligations des fonctionnaires

The production of tt‾ , W+bb‾ and W+cc‾ is studied in the forward region of proton–proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98±0.02 fb−1 . The W bosons are reconstructed in the decays W→ℓν , where ℓ denotes muon or electron, while the b and c quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions.The production of $t\overline{t}$, $W+b\overline{b}$ and $W+c\overline{c}$ is studied in the forward region of proton-proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98 $\pm$ 0.02 \mbox{fb}^{-1}. The $W$ bosons are reconstructed in the decays $W\rightarrow\ell\nu$, where $\ell$ denotes muon or electron, while the $b$ and $c$ quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions

Observation of the B0 → ρ0ρ0 decay from an amplitude analysis of B0 → (π+π−)(π+π−) decays

Proton–proton collision data recorded in 2011 and 2012 by the LHCb experiment, corresponding to an integrated luminosity of 3.0 fb−1 , are analysed to search for the charmless B0→ρ0ρ0 decay. More than 600 B0→(π+π−)(π+π−) signal decays are selected and used to perform an amplitude analysis, under the assumption of no CP violation in the decay, from which the B0→ρ0ρ0 decay is observed for the first time with 7.1 standard deviations significance. The fraction of B0→ρ0ρ0 decays yielding a longitudinally polarised final state is measured to be fL=0.745−0.058+0.048(stat)±0.034(syst) . The B0→ρ0ρ0 branching fraction, using the B0→ϕK⁎(892)0 decay as reference, is also reported as B(B0→ρ0ρ0)=(0.94±0.17(stat)±0.09(syst)±0.06(BF))×10−6

A study of CP violation in B-+/- -> DK +/- and B-+/- -> D pi(+/-) decays with D -> (KSK +/-)-K-0 pi(-/+) final states

A first study of CP violation in the decay modes $B^\pm\to [K^0_{\rm S} K^\pm \pi^\mp]_D h^\pm$ and $B^\pm\to [K^0_{\rm S} K^\mp \pi^\pm]_D h^\pm$, where $h$ labels a $K$ or $\pi$ meson and $D$ labels a $D^0$ or $\overline{D}^0$ meson, is performed. The analysis uses the LHCb data set collected in $pp$ collisions, corresponding to an integrated luminosity of 3 fb$^{-1}$. The analysis is sensitive to the CP-violating CKM phase $\gamma$ through seven observables: one charge asymmetry in each of the four modes and three ratios of the charge-integrated yields. The results are consistent with measurements of $\gamma$ using other decay modes

Study of the rare B-s(0) and B-0 decays into the pi(+) pi(-) mu(+) mu(-) final state

A search for the rare decays $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and $B^0 \to \pi^+\pi^-\mu^+\mu^-$ is performed in a data set corresponding to an integrated luminosity of 3.0 fb$^{-1}$ collected by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7 and 8 TeV. Decay candidates with pion pairs that have invariant mass in the range 0.5-1.3 GeV/$c^2$ and with muon pairs that do not originate from a resonance are considered. The first observation of the decay $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and the first evidence of the decay $B^0 \to \pi^+\pi^-\mu^+\mu^-$ are obtained and the branching fractions are measured to be $\mathcal{B}(B_s^0 \to \pi^+\pi^-\mu^+\mu^-)=(8.6\pm 1.5\,({\rm stat}) \pm 0.7\,({\rm syst})\pm 0.7\,({\rm norm}))\times 10^{-8}$ and $\mathcal{B}(B^0 \to \pi^+\pi^-\mu^+\mu^-)=(2.11\pm 0.51\,({\rm stat}) \pm 0.15\,({\rm syst})\pm 0.16\,({\rm norm}) )\times 10^{-8}$, where the third uncertainty is due to the branching fraction of the decay $B^0\to J/\psi(\to \mu^+\mu^-)K^*(890)^0(\to K^+\pi^-)$, used as a normalisation.A search for the rare decays Bs0→π+π−μ+μ− and B0→π+π−μ+μ− is performed in a data set corresponding to an integrated luminosity of 3.0 fb−1 collected by the LHCb detector in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV . Decay candidates with pion pairs that have invariant mass in the range 0.5–1.3 GeV/c2 and with muon pairs that do not originate from a resonance are considered. The first observation of the decay Bs0→π+π−μ+μ− and the first evidence of the decay B0→π+π−μ+μ− are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be B(Bs0→π+π−μ+μ−)=(8.6±1.5 (stat)±0.7 (syst)±0.7(norm))×10−8 and B(B0→π+π−μ+μ−)=(2.11±0.51(stat)±0.15(syst)±0.16(norm))×10−8 , where the third uncertainty is due to the branching fraction of the decay B0→J/ψ(→μ+μ−)K⁎(892)0(→K+π−) , used as a normalisation.A search for the rare decays Bs0→π+π−μ+μ− and B0→π+π−μ+μ− is performed in a data set corresponding to an integrated luminosity of 3.0 fb−1 collected by the LHCb detector in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV . Decay candidates with pion pairs that have invariant mass in the range 0.5–1.3 GeV/c2 and with muon pairs that do not originate from a resonance are considered. The first observation of the decay Bs0→π+π−μ+μ− and the first evidence of the decay B0→π+π−μ+μ− are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be B(Bs0→π+π−μ+μ−)=(8.6±1.5 (stat)±0.7 (syst)±0.7(norm))×10−8 and B(B0→π+π−μ+μ−)=(2.11±0.51(stat)±0.15(syst)±0.16(norm))×10−8 , where the third uncertainty is due to the branching fraction of the decay B0→J/ψ(→μ+μ−)K⁎(892)0(→K+π−) , used as a normalisation.A search for the rare decays $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and $B^0 \to \pi^+\pi^-\mu^+\mu^-$ is performed in a data set corresponding to an integrated luminosity of 3.0 fb$^{-1}$ collected by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7 and 8 TeV. Decay candidates with pion pairs that have invariant mass in the range 0.5-1.3 GeV/$c^2$ and with muon pairs that do not originate from a resonance are considered. The first observation of the decay $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and the first evidence of the decay $B^0 \to \pi^+\pi^-\mu^+\mu^-$ are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be $\mathcal{B}(B_s^0 \to \pi^+\pi^-\mu^+\mu^-)=(8.6\pm 1.5\,({\rm stat}) \pm 0.7\,({\rm syst})\pm 0.7\,({\rm norm}))\times 10^{-8}$ and $\mathcal{B}(B^0 \to \pi^+\pi^-\mu^+\mu^-)=(2.11\pm 0.51\,({\rm stat}) \pm 0.15\,({\rm syst})\pm 0.16\,({\rm norm}) )\times 10^{-8}$, where the third uncertainty is due to the branching fraction of the decay $B^0\to J/\psi(\to \mu^+\mu^-)K^*(890)^0(\to K^+\pi^-)$, used as a normalisation

Angular analysis of the B-0 -> K*(0) e(+) e(-) decay in the low-q(2) region

An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions.An angular analysis of the B$^{0}$ → K^{*}^{0} e$^{+}$ e$^{−}$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 fb$^{−1}$, collected by the LHCb experiment in pp collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared (q$^{2}$) interval between 0.002 and 1.120 GeV$^{2}$ /c$^{4}$. The angular observables F$_{L}$ and A$_{T}^{Re}$ which are related to the K^{*}^{0} polarisation and to the lepton forward-backward asymmetry, are measured to be F$_{L}$ = 0.16 ± 0.06 ± 0.03 and A$_{T}^{Re}$  = 0.10 ± 0.18 ± 0.05, where the first uncertainty is statistical and the second systematic. The angular observables A$_{T}^{(2)}$ and A$_{T}^{Im}$ which are sensitive to the photon polarisation in this q$^{2}$ range, are found to be A$_{T}^{(2)}$  = − 0.23 ± 0.23 ± 0.05 and A$_{T}^{Im}$  = 0.14 ± 0.22 ± 0.05. The results are consistent with Standard Model predictions.An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions

Measurement of the Z plus b-jet cross-section in pp collisions at root s=7 TeV in the forward region

The associated production of a Z boson or an off-shell photon $\gamma^*$ with a bottom quark in the forward region is studied using proton-proton collisions at a centre-of-mass energy of $7{\mathrm{\,Te\kern -0.1em V}}$. The Z bosons are reconstructed in the ${\text{Z}/\gamma^*}\rightarrow{\mu^{+}\mu^{-}}$ final state from muons with a transverse momentum larger than $20{\mathrm{\,Ge\kern -0.1em V}}$, while two transverse momentum thresholds are considered for jets ($10{\mathrm{\,Ge\kern -0.1em V}}$ and $20{\mathrm{\,Ge\kern -0.1em V}}$). Both muons and jets are reconstructed in the pseudorapidity range $2.0 10{\mathrm{\,Ge\kern -0.1em V}}$, and \sigma(\text{\text{Z}/\gamma^*(\mu^{+}\mu^{-})+b-jet}) = 167 \pm 47 (\text{stat}) \pm 29 (\text{syst}) \pm 6 (\text{lumi}) {\,{fb}} for {p_{\rm T}}(jet)$>20{\mathrm{\,Ge\kern -0.1em V}}$

Measurement of Upsilon production in collisions at root s=2.76 TeV

The production of $\Upsilon(1S)$, $\Upsilon(2S)$ and $\Upsilon(3S)$ mesons decaying into the dimuon final state is studied with the LHCb detector using a data sample corresponding to an integrated luminosity of 3.3 $pb^{-1}$ collected in proton-proton collisions at a centre-of-mass energy of $\sqrt{s}=2.76$ TeV. The differential production cross-sections times dimuon branching fractions are measured as functions of the $\Upsilon$ transverse momentum and rapidity, over the ranges $p_{\rm T} Upsilon(1S) X) x B(Upsilon(1S) -> mu+mu-) = 1.111 +/- 0.043 +/- 0.044 nb, sigma(pp -> Upsilon(2S) X) x B(Upsilon(2S) -> mu+mu-) = 0.264 +/- 0.023 +/- 0.011 nb, sigma(pp -> Upsilon(3S) X) x B(Upsilon(3S) -> mu+mu-) = 0.159 +/- 0.020 +/- 0.007 nb, where the first uncertainty is statistical and the second systematic